/*
 * hx_irq.h
 *
 *  Created on: Feb 7, 2021
 *      Author: gewenbin
 */

#ifndef SYLIXOS_DRIVER_IRQ_HX_IRQ_H_
#define SYLIXOS_DRIVER_IRQ_HX_IRQ_H_

int hx_aic_init(void);
void hx_aic_irq_disable(unsigned int vector);
void hx_aic_irq_enable(unsigned int vector);
BOOL hx_aic_irq_is_enable(unsigned int vector);
unsigned int hx_aic_get_vector(void);
BOOL hx_aic_int_is_fiq(void);

#endif /* SYLIXOS_DRIVER_IRQ_HX_IRQ_H_ */
